What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?
Identifieur interne : 000017 ( Main/Exploration ); précédent : 000016; suivant : 000018What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?
Auteurs : Marin Litoiu [Royaume-Uni] ; Mary Shaw [États-Unis] ; Gabriel Tamura [France] ; Norha M. Villegas [France] ; Hausi Müller [Canada] ; Holger Giese [Allemagne] ; Romain Rouvoy [France] ; Eric Rutten [France]Source :
English descriptors
Abstract
Self-adaptive software (SAS) systems monitor their own behavior and autonomously make dynamic adjustments to maintain desired properties in response to changes in the systems’ operational contexts. Control theory provides verifiable feedback models to realize this kind of autonomous control for a broad class of systems for which precise quantitative or logical discrete models can be defined. Recent MAPE-K models, and variants such as the hierarchical ACRA and similar others, address a broader range of tasks, but they do not provide the inherent assurances that control theory does, as they do not explicitly identify the properties that reliable controllers should have. These properties, in general, result not from the abstract models, but from the specifics of control strategies, which precisely these models fail to analyze. We show that, even for systems too complex for direct application of classical control theory, the abstractions of control theory provide design guidance that identifies important control characteristics and raises critical design issues about the details of the strategy that determine the controllability of the resulting systems. This in turn enables careful reasoning about whether the control characteristics are in fact achieved. In this chapter we examine the control theory approach, explain several control strategies illustrated with examples from both domains, classical control theory and SAS, and show how the issues addressed by these strategies can and should be seriously considered in the design of self-adaptive software systems. From this examination we distill challenges for developing principles that may serve as the basis of a control theory for self-adaptive software systems.
Url:
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 000697
- to stream Hal, to step Curation: 000697
- to stream Hal, to step Checkpoint: 000017
- to stream Main, to step Merge: 000017
- to stream Main, to step Curation: 000017
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?</title><author><name sortKey="Litoiu, Marin" sort="Litoiu, Marin" uniqKey="Litoiu M" first="Marin" last="Litoiu">Marin Litoiu</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-26598" status="VALID"> <orgName>Department of Computer Science [York]</orgName> <orgName type="acronym">CS-YORK</orgName> <desc> <address> <addrLine>Deramore Lane York YO10 5GH </addrLine> <country key="GB"></country> </address> <ref type="url">http://www.cs.york.ac.uk/public.php</ref> </desc> <listRelation> <relation active="#struct-124942" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-124942" type="direct"><org type="institution" xml:id="struct-124942" status="VALID"> <orgName>University of York [York, UK]</orgName> <desc> <address> <addrLine>Heslington, York, YO10 5DD</addrLine> <country key="GB"></country> </address> <ref type="url">http://www.york.ac.uk/</ref> </desc> </org></tutelle></tutelles></hal:affiliation><country>Royaume-Uni</country></affiliation></author><author><name sortKey="Shaw, Mary" sort="Shaw, Mary" uniqKey="Shaw M" first="Mary" last="Shaw">Mary Shaw</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-67135" status="VALID"> <orgName>Carnegie Mellon University [Pittsburgh]</orgName> <orgName type="acronym">CMU</orgName> <desc> <address> <addrLine>5000 Forbes Ave, Pittsburgh, PA 15213</addrLine> <country key="US"></country> </address> <ref type="url">http://www.cmu.edu/</ref> </desc> </hal:affiliation><country>États-Unis</country></affiliation></author><author><name sortKey="Tamura, Gabriel" sort="Tamura, Gabriel" uniqKey="Tamura G" first="Gabriel" last="Tamura">Gabriel Tamura</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-216069" status="INCOMING"> <orgName>Department of Information and Communications Technologies</orgName> <desc> <address> <country key="FR"></country> </address> </desc> <listRelation> <relation active="#struct-425960" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-425960" type="direct"><org type="institution" xml:id="struct-425960" status="VALID"> <orgName>Universidad Icesi</orgName> <orgName type="acronym">ICESI</orgName> <desc> <address> <addrLine>Calle 18 # 122 - 135 Cali, Valle del Cauca, Colombie</addrLine> <country key="CO"></country> </address> </desc> </org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Villegas, Norha M" sort="Villegas, Norha M" uniqKey="Villegas N" first="Norha M." last="Villegas">Norha M. Villegas</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-216069" status="INCOMING"> <orgName>Department of Information and Communications Technologies</orgName> <desc> <address> <country key="FR"></country> </address> </desc> <listRelation> <relation active="#struct-425960" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-425960" type="direct"><org type="institution" xml:id="struct-425960" status="VALID"> <orgName>Universidad Icesi</orgName> <orgName type="acronym">ICESI</orgName> <desc> <address> <addrLine>Calle 18 # 122 - 135 Cali, Valle del Cauca, Colombie</addrLine> <country key="CO"></country> </address> </desc> </org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Muller, Hausi" sort="Muller, Hausi" uniqKey="Muller H" first="Hausi" last="Müller">Hausi Müller</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-150020" status="INCOMING"> <orgName>Rigi Research Group</orgName> <orgName type="acronym">RIGI</orgName> <desc> <address> <addrLine>University of Victoria P.O. Box 3055, STN CSC Victoria, BC V8W 3P6 Canada Voice: 1-250-472-5719 Fax: 1-250-472-5708</addrLine> <country key="CA"></country> </address> </desc> <listRelation> <relation active="#struct-371303" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-371303" type="direct"><org type="institution" xml:id="struct-371303" status="INCOMING"> <orgName>Department of Computer Science/University of Victoria</orgName> <desc> <address> <country key="FR"></country> </address> </desc> </org></tutelle></tutelles></hal:affiliation><country>Canada</country></affiliation></author><author><name sortKey="Giese, Holger" sort="Giese, Holger" uniqKey="Giese H" first="Holger" last="Giese">Holger Giese</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-194596" status="VALID"> <orgName>Hasso Plattner Institute for Software Systems Engineering</orgName> <orgName type="acronym">HPI</orgName> <desc> <address> <addrLine>Prof.-Dr.-Helmert-Straße 2-3 14482 Potsdam</addrLine> <country key="DE"></country> </address> <ref type="url">http://www.hpi.uni-potsdam.de/hpi/organisation.html?L=1</ref> </desc> <listRelation> <relation active="#struct-302190" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-302190" type="direct"><org type="institution" xml:id="struct-302190" status="VALID"> <orgName>Hasso Plattner Institute [Potsdam, Germany]</orgName> <desc> <address> <addrLine>Prof.-Dr.-Helmert-Straße 2-314482 Potsdam, Germany </addrLine> <country key="DE"></country> </address> <ref type="url">http://hpi.de/</ref> </desc> </org></tutelle></tutelles></hal:affiliation><country>Allemagne</country></affiliation></author><author><name sortKey="Rouvoy, Romain" sort="Rouvoy, Romain" uniqKey="Rouvoy R" first="Romain" last="Rouvoy">Romain Rouvoy</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-92973" status="VALID"> <idno type="IdRef">026404184</idno> <orgName>Université de Lille, Sciences et Technologies</orgName> <desc> <address> <addrLine>Cité Scientifique - 59655 Villeneuve d'Ascq Cedex</addrLine> <country key="FR"></country> </address> <ref type="url">http://www.univ-lille1.fr/</ref> </desc> </hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Rutten, Eric" sort="Rutten, Eric" uniqKey="Rutten E" first="Eric" last="Rutten">Eric Rutten</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-241375" status="VALID"> <idno type="RNSR">201421117X</idno> <orgName>Control techniques for Autonomic, adaptive and Reconfigurable Computing systems</orgName> <orgName type="acronym">CTRL-A</orgName> <desc> <address> <addrLine>Centre de Recherche Inria 655, avenue de l'Europe 38334 Saint Ismier Cedex</addrLine> <country key="FR"></country> </address> <ref type="url">http://www.inria.fr/equipes/ctrl-a</ref> </desc> <listRelation> <relation active="#struct-2497" type="direct"></relation> <relation active="#struct-300009" type="indirect"></relation> </listRelation> <tutelles><tutelle active="#struct-2497" type="direct"><org type="laboratory" xml:id="struct-2497" status="VALID"> <idno type="RNSR">199218244V</idno> <orgName>Inria Grenoble - Rhône-Alpes</orgName> <desc> <address> <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine> <country key="FR"></country> </address> <ref type="url">http://www.inria.fr/centre/grenoble</ref> </desc> <listRelation> <relation active="#struct-300009" type="direct"></relation> </listRelation> </org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-01281063</idno><idno type="halId">hal-01281063</idno><idno type="halUri">https://hal.inria.fr/hal-01281063</idno><idno type="url">https://hal.inria.fr/hal-01281063</idno><date when="2017-05-01">2017-05-01</date><idno type="wicri:Area/Hal/Corpus">000697</idno><idno type="wicri:Area/Hal/Curation">000697</idno><idno type="wicri:Area/Hal/Checkpoint">000017</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000017</idno><idno type="wicri:Area/Main/Merge">000017</idno><idno type="wicri:Area/Main/Curation">000017</idno><idno type="wicri:Area/Main/Exploration">000017</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?</title><author><name sortKey="Litoiu, Marin" sort="Litoiu, Marin" uniqKey="Litoiu M" first="Marin" last="Litoiu">Marin Litoiu</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-26598" status="VALID"> <orgName>Department of Computer Science [York]</orgName> <orgName type="acronym">CS-YORK</orgName> <desc> <address> <addrLine>Deramore Lane York YO10 5GH </addrLine> <country key="GB"></country> </address> <ref type="url">http://www.cs.york.ac.uk/public.php</ref> </desc> <listRelation> <relation active="#struct-124942" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-124942" type="direct"><org type="institution" xml:id="struct-124942" status="VALID"> <orgName>University of York [York, UK]</orgName> <desc> <address> <addrLine>Heslington, York, YO10 5DD</addrLine> <country key="GB"></country> </address> <ref type="url">http://www.york.ac.uk/</ref> </desc> </org></tutelle></tutelles></hal:affiliation><country>Royaume-Uni</country></affiliation></author><author><name sortKey="Shaw, Mary" sort="Shaw, Mary" uniqKey="Shaw M" first="Mary" last="Shaw">Mary Shaw</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-67135" status="VALID"> <orgName>Carnegie Mellon University [Pittsburgh]</orgName> <orgName type="acronym">CMU</orgName> <desc> <address> <addrLine>5000 Forbes Ave, Pittsburgh, PA 15213</addrLine> <country key="US"></country> </address> <ref type="url">http://www.cmu.edu/</ref> </desc> </hal:affiliation><country>États-Unis</country></affiliation></author><author><name sortKey="Tamura, Gabriel" sort="Tamura, Gabriel" uniqKey="Tamura G" first="Gabriel" last="Tamura">Gabriel Tamura</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-216069" status="INCOMING"> <orgName>Department of Information and Communications Technologies</orgName> <desc> <address> <country key="FR"></country> </address> </desc> <listRelation> <relation active="#struct-425960" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-425960" type="direct"><org type="institution" xml:id="struct-425960" status="VALID"> <orgName>Universidad Icesi</orgName> <orgName type="acronym">ICESI</orgName> <desc> <address> <addrLine>Calle 18 # 122 - 135 Cali, Valle del Cauca, Colombie</addrLine> <country key="CO"></country> </address> </desc> </org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Villegas, Norha M" sort="Villegas, Norha M" uniqKey="Villegas N" first="Norha M." last="Villegas">Norha M. Villegas</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-216069" status="INCOMING"> <orgName>Department of Information and Communications Technologies</orgName> <desc> <address> <country key="FR"></country> </address> </desc> <listRelation> <relation active="#struct-425960" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-425960" type="direct"><org type="institution" xml:id="struct-425960" status="VALID"> <orgName>Universidad Icesi</orgName> <orgName type="acronym">ICESI</orgName> <desc> <address> <addrLine>Calle 18 # 122 - 135 Cali, Valle del Cauca, Colombie</addrLine> <country key="CO"></country> </address> </desc> </org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Muller, Hausi" sort="Muller, Hausi" uniqKey="Muller H" first="Hausi" last="Müller">Hausi Müller</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-150020" status="INCOMING"> <orgName>Rigi Research Group</orgName> <orgName type="acronym">RIGI</orgName> <desc> <address> <addrLine>University of Victoria P.O. Box 3055, STN CSC Victoria, BC V8W 3P6 Canada Voice: 1-250-472-5719 Fax: 1-250-472-5708</addrLine> <country key="CA"></country> </address> </desc> <listRelation> <relation active="#struct-371303" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-371303" type="direct"><org type="institution" xml:id="struct-371303" status="INCOMING"> <orgName>Department of Computer Science/University of Victoria</orgName> <desc> <address> <country key="FR"></country> </address> </desc> </org></tutelle></tutelles></hal:affiliation><country>Canada</country></affiliation></author><author><name sortKey="Giese, Holger" sort="Giese, Holger" uniqKey="Giese H" first="Holger" last="Giese">Holger Giese</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-194596" status="VALID"> <orgName>Hasso Plattner Institute for Software Systems Engineering</orgName> <orgName type="acronym">HPI</orgName> <desc> <address> <addrLine>Prof.-Dr.-Helmert-Straße 2-3 14482 Potsdam</addrLine> <country key="DE"></country> </address> <ref type="url">http://www.hpi.uni-potsdam.de/hpi/organisation.html?L=1</ref> </desc> <listRelation> <relation active="#struct-302190" type="direct"></relation> </listRelation> <tutelles><tutelle active="#struct-302190" type="direct"><org type="institution" xml:id="struct-302190" status="VALID"> <orgName>Hasso Plattner Institute [Potsdam, Germany]</orgName> <desc> <address> <addrLine>Prof.-Dr.-Helmert-Straße 2-314482 Potsdam, Germany </addrLine> <country key="DE"></country> </address> <ref type="url">http://hpi.de/</ref> </desc> </org></tutelle></tutelles></hal:affiliation><country>Allemagne</country></affiliation></author><author><name sortKey="Rouvoy, Romain" sort="Rouvoy, Romain" uniqKey="Rouvoy R" first="Romain" last="Rouvoy">Romain Rouvoy</name><affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-92973" status="VALID"> <idno type="IdRef">026404184</idno> <orgName>Université de Lille, Sciences et Technologies</orgName> <desc> <address> <addrLine>Cité Scientifique - 59655 Villeneuve d'Ascq Cedex</addrLine> <country key="FR"></country> </address> <ref type="url">http://www.univ-lille1.fr/</ref> </desc> </hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Rutten, Eric" sort="Rutten, Eric" uniqKey="Rutten E" first="Eric" last="Rutten">Eric Rutten</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-241375" status="VALID"> <idno type="RNSR">201421117X</idno> <orgName>Control techniques for Autonomic, adaptive and Reconfigurable Computing systems</orgName> <orgName type="acronym">CTRL-A</orgName> <desc> <address> <addrLine>Centre de Recherche Inria 655, avenue de l'Europe 38334 Saint Ismier Cedex</addrLine> <country key="FR"></country> </address> <ref type="url">http://www.inria.fr/equipes/ctrl-a</ref> </desc> <listRelation> <relation active="#struct-2497" type="direct"></relation> <relation active="#struct-300009" type="indirect"></relation> </listRelation> <tutelles><tutelle active="#struct-2497" type="direct"><org type="laboratory" xml:id="struct-2497" status="VALID"> <idno type="RNSR">199218244V</idno> <orgName>Inria Grenoble - Rhône-Alpes</orgName> <desc> <address> <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine> <country key="FR"></country> </address> <ref type="url">http://www.inria.fr/centre/grenoble</ref> </desc> <listRelation> <relation active="#struct-300009" type="direct"></relation> </listRelation> </org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term> control theory</term><term> feedback control loop</term><term>self-adaptive software systems</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Self-adaptive software (SAS) systems monitor their own behavior and autonomously make dynamic adjustments to maintain desired properties in response to changes in the systems’ operational contexts. Control theory provides verifiable feedback models to realize this kind of autonomous control for a broad class of systems for which precise quantitative or logical discrete models can be defined. Recent MAPE-K models, and variants such as the hierarchical ACRA and similar others, address a broader range of tasks, but they do not provide the inherent assurances that control theory does, as they do not explicitly identify the properties that reliable controllers should have. These properties, in general, result not from the abstract models, but from the specifics of control strategies, which precisely these models fail to analyze. We show that, even for systems too complex for direct application of classical control theory, the abstractions of control theory provide design guidance that identifies important control characteristics and raises critical design issues about the details of the strategy that determine the controllability of the resulting systems. This in turn enables careful reasoning about whether the control characteristics are in fact achieved. In this chapter we examine the control theory approach, explain several control strategies illustrated with examples from both domains, classical control theory and SAS, and show how the issues addressed by these strategies can and should be seriously considered in the design of self-adaptive software systems. From this examination we distill challenges for developing principles that may serve as the basis of a control theory for self-adaptive software systems.</div></front></TEI><affiliations><list><country><li>Allemagne</li><li>Canada</li><li>France</li><li>Royaume-Uni</li><li>États-Unis</li></country></list><tree><country name="Royaume-Uni"><noRegion><name sortKey="Litoiu, Marin" sort="Litoiu, Marin" uniqKey="Litoiu M" first="Marin" last="Litoiu">Marin Litoiu</name></noRegion></country><country name="États-Unis"><noRegion><name sortKey="Shaw, Mary" sort="Shaw, Mary" uniqKey="Shaw M" first="Mary" last="Shaw">Mary Shaw</name></noRegion></country><country name="France"><noRegion><name sortKey="Tamura, Gabriel" sort="Tamura, Gabriel" uniqKey="Tamura G" first="Gabriel" last="Tamura">Gabriel Tamura</name></noRegion><name sortKey="Rouvoy, Romain" sort="Rouvoy, Romain" uniqKey="Rouvoy R" first="Romain" last="Rouvoy">Romain Rouvoy</name><name sortKey="Rutten, Eric" sort="Rutten, Eric" uniqKey="Rutten E" first="Eric" last="Rutten">Eric Rutten</name><name sortKey="Villegas, Norha M" sort="Villegas, Norha M" uniqKey="Villegas N" first="Norha M." last="Villegas">Norha M. Villegas</name></country><country name="Canada"><noRegion><name sortKey="Muller, Hausi" sort="Muller, Hausi" uniqKey="Muller H" first="Hausi" last="Müller">Hausi Müller</name></noRegion></country><country name="Allemagne"><noRegion><name sortKey="Giese, Holger" sort="Giese, Holger" uniqKey="Giese H" first="Holger" last="Giese">Holger Giese</name></noRegion></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000017 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000017 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Amérique
|area= PittsburghV1
|flux= Main
|étape= Exploration
|type= RBID
|clé= Hal:hal-01281063
|texte= What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?
}}
| This area was generated with Dilib version V0.6.38. |  |